Prentice Hall International Series in Computer Science was a series of books on

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

published by

Prentice Hall Prentice Hall was an American major educational publisher owned by Savvas Learning Company. Prentice Hall publishes print and digital content for the 6–12 and higher-education market, and distributes its technical titles through the Safari B ...

. The series' founding editor was

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

. Richard Bird subsequently took over editing the series. Many of the books in the series have been in the area of

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expec ...

in particular.

Selected books

The following books were published in the series: * R. S. Bird, ''Introduction to Functional Programming using Haskell'', 2nd edition, 1998. . * R. S. Bird and O. de Moor, ''Algebra of Programming'', 1996. . (100th volume in the series.) * O.-J. Dahl, ''Verifiable Programming'', 1992. . * D. M. Gabbay, ''Elementary Logics: A Procedural Perspective'', 1998. . * I. J. Hayes (ed.), ''Specification Cases Studies'', 2nd edition, 1993. . * M. G. Hinchey and J. P. Bowen (eds.), ''Applications of Formal Methods'', 1996. . *

C. A. R. Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

, ''

Communicating Sequential Processes In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or pro ...

'', 1985. hardback or paperback. * C. A. R. Hoare and M. J. C. Gordon, ''Mechanized Reasoning and Hardware Design'', 1998. . * C. A. R. Hoare and

He Jifeng He Jifeng (, born August 1943) is a Chinese computer scientist. He Jifeng graduated from the mathematics department of Fudan University in 1965. From 1965 to 1985, he was an instructor at East China Normal University. During 1980–81, he was ...

, ''

Unifying Theories of Programming Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design ...

'', 1998. . * INMOS Limited, '' Occam 2 Reference Manual'', 1988. . * Cliff Jones, ''Systematic Software Development Using VDM'', 1986. hardback or paperback. * M. Joseph (ed.), ''Real-Time Systems: Specification, Verification and Analysis'', 1996. . *

Bertrand Meyer Bertrand Meyer (; ; born 21 November 1950) is a French academic, author, and consultant in the field of computer languages. He created the Eiffel programming language and the idea of design by contract. Education and academic career Meyer recei ...

, ''

Object-Oriented Software Construction ''Object-Oriented Software Construction'' is a book by Bertrand Meyer, widely considered a foundational text of object-oriented programming. The first edition was published in 1988; the second, extensively revised and expanded edition (more than 1 ...

'' (first edition only). *

Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

, ''Communication and Concurrency'', 1989. (for the paperback). * C. C. Morgan, ''Programming from Specifications'', 2nd edition, 1994. . * P. N. Nissanke, ''Realtime Systems'', 1997. . * B. Potter, J. Sinclair and D. Till, ''An Introduction to Formal Specification and Z'', 2nd edition, 1996. . * A. W. Roscoe (ed.), ''A Classical Mind: Essays in Honour of C. A. R. Hoare'', 1994. . * A. W. Roscoe, ''The Theory and Practice of Concurrency'', 1997. . * J. M. Spivey, ''The

Z Notation The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abrial ...

: A Reference Manual'', 2nd edition, 1992. . * J. C. P. Woodcock and J. W. Davies, ''Using Z: Specification, Refinement and Proof'', 1996. .

References

Year of establishment missing Year of disestablishment missing Series of books Computer science books Formal methods publications {{compu-book-stub